(0 12 10)(1 8 4)(2 15 11)(3 17 14)(5 13 9)(6 16 7)
ALLOWS (11/8)-SEQUENCE
1: (2 11 15)
(0 12 10)(1 8 4)(2 11 15)(3 17 14)(5 13 9)(6 16 7)
2: (0 12 10)
(0)(1 8 4)(2 11 15)(3 17 14)(5 13 9)(6 16 7)(10)(12)
3: (2 11 15)
(0)(1 8 4)(2)(3 17 14)(5 13 9)(6 16 7)(10)(11)(12)(15)
4: (3 17 14)
(0)(1 8 4)(2)(3)(5 13 9)(6 16 7)(10)(11)(12)(14)(15)(17)